void mainNetHack();